Approximation Algorithm for Non-boolean MAX k-CSP
نویسندگان
چکیده
In this paper, we present a randomized polynomial-time approximation algorithm for MAX k-CSPd. In MAX k-CSPd, we are given a set of predicates of arity k over an alphabet of size d. Our goal is to find an assignment that maximizes the number of satisfied constraints. Our algorithm has approximation factor Ω(kd/d) (when k ≥ Ω(log d)). This bound is asymptotically optimal assuming the Unique Games Conjecture. The best previously known algorithm has approximation factor Ω(k log d/d). We also give an approximation algorithm for the boolean MAX k-CSP2 problem with a slightly improved approximation guarantee.
منابع مشابه
Beating a Random Assignment : Approximating Constraint Satisfaction Problems
An instance of a Boolean constraint satisfaction problem, CSP, consists of a set of constraints acting over a set of Boolean variables. The objective is to find an assignment to the variables that satisfies all the constraints. In the maximization version, Max CSP, each constraint has a weight and the objective is to find an assignment such that the weight of satisfied constraints is maximized....
متن کاملAn Improvement to an Approximation Algorithm for Max k-CSP(d) REU Report
In this technical report, we present a slight improvement to an algorithm for the Max k-CSP(d) problem, the maximum constraint satisfaction problem with at most k variables in a clause and a domain of size d. The base of the algorithm is that of Makarychev and Makarychev [4]. As noted in their paper, their algorithm is efficient in the domain where k ≥ Ω(log d). Here we present an approach that...
متن کاملThe Approximability of Three-valued MAX CSP
In the maximum constraint satisfaction problem (Max CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to assign values from a given domain to the variables so as to maximize the number (or the total weight, for the weighted case) of satisfied constraints. This problem is NP-hard in general, and, therefore, it is natural t...
متن کاملSupermodular functions and the complexity of MAX CSP
In this paper we study the complexity of the maximum constraint satisfaction problem (Max CSP) over an arbitrary finite domain. An instance of Max CSP consists of a set of variables and a collection of constraints which are applied to certain specified subsets of these variables; the goal is to find values for the variables which maximize the number of simultaneously satisfied constraints. Usin...
متن کاملIdentifying Efficiently Solvable Cases of Max CSP
In this paper we study the complexity of the maximum constraint satisfaction problem (Max CSP) over an arbitrary finite domain. We describe a novel connection between this problem and the supermodular function maximization problem (which is dual to the submodular function minimization problem). Using this connection, we are able to identify large classes of efficiently solvable subproblems of M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012